81. A mathematical introduction to logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Logic, Symbolic and mathematical

رده :
E-BOOK

82. A mathematical introduction to logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
E5

83. A mathematical introduction to logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;

84. A primer of formal logic

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy

85. A profile of mathematical logic

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
D37

86. A profile of mathematical logic.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.

رده :
QA9
.
D37

87. A profile of mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
D37

88. A profile of mathematical logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.

رده :
QA9
.
D37
2004

89. A readable introduction to real mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.

رده :
QA
93
.
R6
2014

90. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع : Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
,
76
.
9
,.
A96B87

91. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
568

92. A science of operations

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA
،
76
.
6
،.
P737
،
2010

93. A structuralist theory of logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;

94. A structuralist theory of logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism

رده :
BC
135
.
K64

95. A structuralist theory of logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Logic, Symbolic and mathematical.,Implication (Logic),Structuralism.

رده :
BC
,
135
,.
K67
,
1992

96. A structuralist theory of logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

97. A summary of scientific method /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,Science-- Methodology

98. A survey of symbolic logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Logic, Symbolic and mathematical

رده :
BC
135
.
L4
1960

99. A survey of symbolic logic

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Logic, Symbolic and mathematical

رده :
164
Le-S

100. A survey of symbolic logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.